GtkHeaderBar uses GtkCenterBox internally nowadays, so the theme needs
to correspond to it.
transition: $backdrop_transition;
}
- box.start,
- box.end {
- border-spacing: 6px;
- }
-
.title {
padding-left: 12px;
padding-right: 12px;
}
headerbar {
- border-spacing: 6px;
+ > windowhandle > box {
+ &,
+ > box.start,
+ > box.end {
+ border-spacing: 6px;
+ }
+ }
// add vertical margins to common widget on the headerbar to avoid them spanning the whole height
entry,